多机器人边界型螺丝术需要及时协调机器人团队成员。符号运动规划(SMP)可以提供具有高级时间逻辑任务要求的机器人运动规划可提供正确的解决方案。本文旨在为多机器人系统(MRS)的安全可靠的SMP开发一个框架,以满足受时间逻辑受限约束的复杂边界初级任务。首先提出了一个分散的SMP框架,它保证了MRS的复杂边界泛粉任务的正确性和并行执行。然后通过参考地形中的机器人的遍历和视线来构造计算信任模型。信任模式预测每个机器人团队在执行任务计划时的潜在行为的可信度。探索了最值得信赖的任务和运动计划,并使用Dijkstra搜索策略来保证横向纵向初级初级的可靠性。 ROS Gazebo中实施了机器人仿真,以展示所提出的框架的有效性。
translated by 谷歌翻译